Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
451	Consumable Credentials in Logic-Based Access-Control Systems Kevin D. Bowers Lujo Bauer Deepak Garg Frank Pfenning Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:10 Mathematics Identity management Cryptographic protocols Logic in computer science Credential Knowledge Mathematical proof Modal logic Zero-knowledge proof Logic Mathematical logic Non-classical logic
452	Logic-Based Methods for Assurance of Complex System Performance Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:23 Philosophical logic Non-classical logic Modal logic Model theory Metalogic Model checking Kripke semantics Categorical logic Natural deduction Logic Mathematical logic Mathematics
453	Pushing the EL Envelope Franz Baader and Sebastian Brandt and Carsten Lutz Intitute for Theoretical Computer Science TU Dresden, Germany [removed] Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2013-02-18 09:15:12 Science Web standards Ring theory Artificial intelligence Description logic Non-classical logic Web Ontology Language Ring Ontology Information science Semantic Web Information
454	NASANews National Aeronautics and \.vSpace ... Administration Add to Reading List Source URL: crgis.ndc.nasa.gov Language: English - Date: 2013-07-18 13:47:40 Logic in computer science Mathematics Fuzzy logic Non-classical logic Lotfi A. Zadeh Type-2 fuzzy sets and systems Logic Science Artificial intelligence
455	T h e A u t o b i o g r a p h y o f Add to Reading List Source URL: americanenglish.state.gov Language: English - Date: 2013-02-27 11:33:10 Modal logic Non-classical logic Philosophical logic
456	Journal of Statistical Planning and Inference[removed]–264 www.elsevier.com/locate/jspi Toward a perception-based theory of probabilistic reasoning Add to Reading List Source URL: www-bisc.cs.berkeley.edu Language: English - Date: 2005-04-12 05:10:07 Fuzzy logic Non-classical logic Artificial intelligence Logic in computer science Probability and statistics Probabilistic logic Membership function Lotfi A. Zadeh Fuzzy set Logic Science Mathematical logic
457	From Computing with Numbers to Computing with Words − From Manipulation of Measurements to Manipulation of Perceptions* Lotfi A. Zadeh Professor in the Graduate School and Director, Berkeley Initiative in Soft Computin Add to Reading List Source URL: www-bisc.cs.berkeley.edu Language: English - Date: 2001-07-12 20:06:36 Science Artificial intelligence Logic in computer science Non-classical logic Computing with words and perceptions Lotfi A. Zadeh Fuzzy set Constraint programming Fuzzy rule Logic Fuzzy logic Mathematical logic
458	UNITED STATES DISTRICT COURT FOR THE DISTRICT OF COLUMBIA __________________________________________ ) IN THE MATTER OF THE APPLICATION ) Add to Reading List Source URL: www.dcd.uscourts.gov Language: English - Date: 2014-02-24 11:34:25 Pen register Surveillance Prior art Fourth Amendment to the United States Constitution Modal logic Internet privacy Trace Law Privacy of telecommunications Logic Non-classical logic
459	A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB Fernando Bobillo1 and Umberto Straccia2 1 Dpt. of Computer Science & Systems Engineering, University of Zaragoza, Spain Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-07 10:05:54 Artificial intelligence Logic in computer science Non-classical logic Constructible universe Fuzzy set Logic Mathematical logic Fuzzy logic
460	An Argumentative Approach to Reasoning with Inconsistent Ontologies Sergio Alejandro G´ omez1 Carlos Iv´ an Ches˜ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-08-29 09:18:46 Logical consequence Information science Knowledge representation Semantic Web Ontology Defeasible reasoning Entailment Defeasible logic Web Ontology Language Logic Science Non-classical logic

UPDATE